Over unity proof